The ESTEREL language - Proceedings of the IEEE
نویسنده
چکیده
We present the basics of the ESTEREL reactive model of synchronous parallel systems. We illustrate the ESTEREL programming style, based on “instantaneous communications and decisions ’’ through the example of a mouse handler. We briefly describe the ESTEREL formal semantics and show how programs can be compiled into finite states sequential machines for efJicient execution. The up to date implementation is described together with the ESTEREL environment, including simulation, and verification and validation tools. Finally, we report on some ESTEREL uses in various contexts.
منابع مشابه
Multithreaded Reactive Programming - the Kiel Esterel Processor
The Kiel Esterel Processor (KEP) is a multi-threaded reactive processor designed for the execution of programs written in the synchronous language Esterel. Design goals were timing predictability, minimal resource usage, and compliance to full Esterel V5. The KEP directly supports Esterel’s reactive control flow operators, notably concurrency and various types of preemption, through dedicated c...
متن کاملAn Esterel compiler for large control-dominated systems
Embedded hard real-time software systems often need finegrained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel language has both, but compiling large Esterel programs has been challenging, producing either needlessly slow or large code. This paper presents the first Esterel compiler able to compile large Esterel programs into fa...
متن کاملThe SL Synchronous Language
We present a new synchronous programming language named SL based on Esterel, in which hypothesis about signal presences or absences are not allowed. Thus, one can decide that a signal was absent during one instant only at the end of this instant, and so reaction to this absence is delayed. Esterel \causality problems" are avoided at the price of replacing strong preemptions by weak ones. An ope...
متن کاملArgos: an automaton-based synchronous language
Argos belongs to the family of synchronous languages, designed for programming reactive systems: (Lustre (Proceedings of the 14th Symposium on Principles of Programming Languages, Munich, 1987; Proc. IEEE 79(9) (1999) 1305), Esterel (Sci. Comput. Programming 19(2) (1992) 87), Signal (Technical Report, IRISA Report 246, IRISA, Rennes, France, 1985). Argos is a set of operators that allow to comb...
متن کاملBDL: A Specialized Language for Per-Object Reactive Control
ÐThe problem of describing the concurrent behavior of objects in object-oriented languages is addressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their specification. Our proposal is a domain-specific language, called BDL, for expressing constraints on this control and actually implementing its enforcement. We propose a model w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009